#define CONFIG_TRACE_ERROR		1
#define CONFIG_MACH_VEXPRESS		1
